Asacterie T S
نویسندگان
چکیده
A faulty component that behaves consistently over time is said to behave non-intermittently. For any given set of inputs, such a component will always generate the same output. Assuming that components fail non-intermittently is a common simplifying strategy used by diagnosticians, because (1) many real-world devices often fail this way, (2) this strategy removes the need to repeat experiments, and (3) this strategy allows information from independent examples of system behavior to be combined in relatively simple ways. This paper extends the formal framework for diagnosis developed in [7, 121 to allow non-intermittency assumptions. In addition we show how the definitions can be easily integrated into ATMS-based diagnosis engines. Within our formulation, components can be individually assumed to be intermittent or nonintermittent.
منابع مشابه
NITROIMIDAZOLES VII [I]. SYNTHESES, ANTIBACTERIAL AND ANTIFUNGAL ACT I V I T I E S OF 4 - S U B S T I T U T E D - 2 - TWIAZOLYLHYDRAZONES
Reaction of readily available 2-formyl -1-methyl-5-nitroimidazole (1) with 4-substituted-2-hydrazinothiazoles (2) afforded 2-formyl-l-methyl-5- nitroimidazole 4-substituted -2- thiazolylhydrazones (3). Reaction of thiochromitn-4-one (4) with thiosemicarbazide gave thiochroman-4- one thiosemicarbazone (5). Reaction of compound 5 with clc- haloaldehyde or ketones y ielded thiochroman--#-one ...
متن کاملLogical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem
Let $G$ be a weighted digraph, $s$ and $t$ be two vertices of $G$, and $t$ is reachable from $s$. The logical $s$-$t$ min-cut (LSTMC) problem states how $t$ can be made unreachable from $s$ by removal of some edges of $G$ where (a) the sum of weights of the removed edges is minimum and (b) all outgoing edges of any vertex of $G$ cannot be removed together. If we ignore the second constraint, ca...
متن کاملPDC Control of Time Delay Fuzzy T-S modeled HIV-1 System through Drug Dosage
This paper proposes a Time Delay nonlinear dynamic model of HIV-1 (Human Immunodeficiency Virus type 1), introducing the drug consumption efficiencies as the controlling input for the model. The paper also represents the fuzzy T-S representation and the corresponding Fuzzy T-S controller. The controller parameters are tuned using LMIs (Linear Matrix Inequalities). The main focus is on the stabi...
متن کامل-
In this paper we give some characterizations of topological extreme amenability. Also we answer a question raised by Ling [5]. In particular we prove that if T is a Borel subset of a locally compact semigroup S such that M(S)* has a multiplicative topological left invariant mean then T is topological left lumpy if and only if there is a multiplicative topological left invariant mean M on M(S)* ...
متن کاملSharply $(n-2)$-transitive Sets of Permutations
Let $S_n$ be the symmetric group on the set $[n]={1, 2, ldots, n}$. For $gin S_n$ let $fix(g)$ denote the number of fixed points of $g$. A subset $S$ of $S_n$ is called $t$-emph{transitive} if for any two $t$-tuples $(x_1,x_2,ldots,x_t)$ and $(y_1,y_2,ldots ,y_t)$ of distinct elements of $[n]$, there exists $gin S$ such that $x_{i}^g=y_{i}$ for any $1leq ileq t$ and additionally $S$ is called e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999